Towards a formal ontology of engineering functions, behaviours, and capabilities

?Logic and Formal Ontology: Is the Final Formal Ontology Possible

Musa Akrami AbstractMany philosophers and logicians have contemplated the relationship between ontology and logic. The author of this paper, working within a Bolzanoan-Husserlian tradition of studying both ontology and logic, considers ontology as the science of the most general features of beings and the most general relations among them. He considers logic as the science concernin...

a contrastive study of rhetorical functions of citation in iranian and international elt scopus journals

writing an academic article requires the researchers to provide support for their works by learning how to cite the works of others. various studies regarding the analysis of citation in m.a theses have been done, while little work has been done on comparison of citations among elt scopus journal articles, and so the dearth of research in this area demands for further investigation into citatio...

Towards a Reverse Engineering Ontology

In a review of existing reverse engineering literature, it became clear that there is no shared vision on key topics in reverse engineering. As a result, the many research contributions appear to lack uniformity with regard to the way results are reported. In this short paper, we present ”the Reverse Engineering wiki”1, an initiative started at ICPC 2006 in the working session on Experimental S...

A Formal Modeling Approach to Ontology Engineering

Functions in Basic Formal Ontology

The notion of function is indispensable to our understanding of distinctions such as that between being broken and being in working order (for artifacts) and between being diseased and being healthy (for organisms). A clear account of the ontology of functions and functioning is thus an important desideratum for any top-level ontology intended for application to domains such as engineering or m...